Boolean trends in linear inequalities
نویسندگان
چکیده
منابع مشابه
Simplifying Formulas of Linear Inequalities with Boolean Connectives
The output of symbolic veriiers and other software with symbolic reasoning capabilities is often itself symbolic and in need of further simpliication for human readability. We present a novel set of tools for simplifying formulas of linear inequalities with Boolean connectives. Our primary focus is the Integer domain (quantiier-free Presburger formulas) but our methodology can also be applied t...
متن کاملBoolean Models and Simultaneous Inequalities
Boolean valued analysis is applied to deriving operator versions of the classical Farkas Lemma in the theory of simultaneous linear inequalities.
متن کاملLinear optimization on Hamacher-fuzzy relational inequalities
In this paper, optimization of a linear objective function with fuzzy relational inequality constraints is investigated where the feasible region is formed as the intersection of two inequality fuzzy systems and Hamacher family of t-norms is considered as fuzzy composition. Hamacher family of t-norms is a parametric family of continuous strict t-norms, whose members are decreasing functions of ...
متن کاملComplexity of Linear Boolean Operators Complexity of Linear Boolean Operators
How to compute a linear Boolean operator by a small circuit using only unbounded fanin addition gates? Because this question is about one of the simplest and most basic circuit models, it has been considered by many authors since the early 1950s. This has led to a variety of upper and lower bound arguments—ranging from algebraic (determinant and matrix rigidity), to combinatorial (Ramsey proper...
متن کاملProjection Inequalities and Their Linear Preservers
This paper introduces an inequality on vectors in $mathbb{R}^n$ which compares vectors in $mathbb{R}^n$ based on the $p$-norm of their projections on $mathbb{R}^k$ ($kleq n$). For $p>0$, we say $x$ is $d$-projectionally less than or equal to $y$ with respect to $p$-norm if $sum_{i=1}^kvert x_ivert^p$ is less than or equal to $ sum_{i=1}^kvert y_ivert^p$, for every $dleq kleq n$. For...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied and Industrial Mathematics
سال: 2010
ISSN: 1990-4789,1990-4797
DOI: 10.1134/s1990478910030051